FROM ubuntu:20.04

# 换源
COPY source.list /etc/apt/sources.list
# # 安装必要包
RUN apt update 

# 避免选择时区
ENV DEBIAN_FRONTEND=noninteractive

RUN apt-get install -y build-essential gdb-multiarch qemu-system-misc gcc-riscv64-linux-gnu binutils-riscv64-linux-gnu arping pip net-tools

RUN pip install flask  -i https://pypi.tuna.tsinghua.edu.cn/simple

# 暴露端口
# EXPOSE 80 12345 20599


